A Logic of Arbitrary and Indefinite Objects
نویسنده
چکیده
A Logic of Arbitrary and Indefinite Objects, LA, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of LA are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to LA itself. LA is then formally defined by presenting its syntax, proof theory, and semantics, which are given via a translation scheme between LA and the standard classical First-Order Predicate Logic. Soundness is proved. The completeness theorem for LA is stated, and its proof is sketched. LA is being implemented as the logic of SNePS 3, the latest member of the SNePS family of Knowledge Representation and Reasoning systems.
منابع مشابه
Inference Graphs: A New Kind of Hybrid Reasoning System
Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.
متن کاملNatural deduction and arbitrary objects
This paper is an abridged and simplified version of my monograph Reasoning with Arbitrary Objects [4]. It may be read by the diligent as a preparation for the longer work or by the indolent as a substitute for it. But the reader, in either case, may find it helpful to consult the paper, A Defence of Arbitrary Objects [3], for general philosophical orientation. This paper deals with certain prob...
متن کاملCasimir effects of nano objects in fluctuating scalar and electromagnetic fields: Thermodynamic investigating
Casimir entropy is an important aspect of casimir effect and at the nanoscale is visible. In this paper, we employ the path integral method to obtain a general relation for casimir entropy and internal energy of arbitrary shaped objects in the presence of two, three and four dimension scalar fields and the electromagnetic field. For this purpose, using Lagrangian and based on a perturb...
متن کاملThickness Measuring of Thin Metal by Non Destructive with Fuzzy Logic Control System
Non-Destructive Testing & Evaluation methods are developed to inspect and investigate materials and structures. Ultrasonic Testing is an NDT method can be used for measuring the thickness of objects, as one of its significant applications. The objective of this paper is designing and applying an intelligent UT fuzzy control system for evaluating the thickness of thin metal objects in a range of...
متن کاملThickness Measuring of Thin Metal by Non Destructive with Fuzzy Logic Control System
Non-Destructive Testing & Evaluation methods are developed to inspect and investigate materials and structures. Ultrasonic Testing is an NDT method can be used for measuring the thickness of objects, as one of its significant applications. The objective of this paper is designing and applying an intelligent UT fuzzy control system for evaluating the thickness of thin metal objects in a range of...
متن کامل